Logic design - PDFSEARCH.IO - Document Search Engine

Logic design
Results: 1434

#	Item
41	Adding Storage Simulation Capacities to the SimGrid Toolkit A. Lebre, A. Legrand, F. Suter, P. Veyre Inria, Ecole des Mines de Nantes/LINA CNRS/INRIA/University of Grenoble IN2P3 Computing Center, CNRS Add to Reading List Source URL: simgrid.gforge.inria.fr Language: English - Date: 2015-09-29 06:27:30 Computing Concurrent computing Data management Parallel computing Electronic design automation Distributed computing SimGrid Big data Data grid Simulation Data-intensive computing Logic simulation
42	Leveraging SMT: Using SMT Solvers to Improve Verification; Using Verification to Improve SMT Solvers Clark Barrett Christopher L. Conway Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 16:21:50 Theoretical computer science Formal methods Logic in computer science Constraint programming Electronic design automation NP-complete problems Satisfiability modulo theories Solver SMT Uninterpreted function Model checking Alt-Ergo
43	Arasan Chip Systems Announces Additional Sales Territory in Singapore and Vietnam Arasan Chip Systems Announces Additional Sales Territory in Singapore and Vietnam Arasan Chip Systems, Inc.(“Arasan”), a leading provi Add to Reading List Source URL: www.avant-tek.com Language: English - Date: 2014-07-31 22:33:49 Digital electronics Electronic engineering Electronic design Design Logic design Semiconductor intellectual property core Fabless semiconductor companies
44	MOTOROLA SEMICONDUCTOR TECHNICAL DATA MC14051B Add to Reading List Source URL: shirase.tk Language: English - Date: 2004-03-09 05:58:36 Electronic engineering Digital electronics Integrated circuits Electronics Logic families Electronic design Electromagnetism CMOS Vehicle identification number
45	ONLINE DELIBERATION Design, Research, and Practice Edited by Todd Davies and Seeta Peña Gangadharan Add to Reading List Source URL: delta.northwestern.edu Language: English - Date: 2013-11-19 23:54:58 Software Graphics software Argument mapping Arguments Critical thinking Logic Knowledge representation Argument map Araucaria OmniGraffle Argumentation theory Computer-aided design
46	IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOL. 17, NO. 10, OCTOBERA Low-Power Field-Programmable Gate Array Routing Fabric Add to Reading List Source URL: www-isl.stanford.edu Language: English - Date: 2010-03-02 17:25:32 Electronic engineering Electronics Electrical engineering Integrated circuits Electronic design automation Reconfigurable computing Logic block Fabless semiconductor companies Digital electronics Field-programmable gate array Virtex Placement
47	IEEE JOURNAL OF SOLID-STATE CIRCUITS, VOL. 35, NO. 7, JULYDual-Threshold Voltage Techniques for Low-Power Digital Circuits Add to Reading List Source URL: www.cpe.virginia.edu Language: English - Date: 2016-06-17 11:53:24 Electronic engineering Electrical engineering Electromagnetism Logic families Digital electronics Integrated circuits Electronic design Semiconductor devices CMOS Subthreshold conduction MOSFET Transistor
48	Monolithic Hall Effect ICs EM-series EM-1711 Shipped in packet-tape reel(5000pcs/Reel) Add to Reading List Source URL: www.akm.com Language: English Electronic engineering Electronics Integrated circuits Electromagnetism Digital electronics Logic families Electronic circuits CMOS Electronic design Power supply Amplifier
49	Unleashing the Verification Genie in the Cloud Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA Abstract Z3 is a state-of-the-art SMT (Satisfiability Modulo Theories) Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-01 03:01:08 Mathematics Theoretical computer science Mathematical logic Predicate logic Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Z3 First-order logic Language Integrated Query Computer program
50	Course Description: ELEC204 is a course targeting electrical and computer engineering students to build the fundamental digital design and experimentation concepts. In this course we will study the combinational logic ci Add to Reading List Source URL: atakangunal.com Language: English - Date: 2014-10-22 13:26:41 Academia Academic transfer Course credit Education Massachusetts Institute of Technology Knowledge